// SVA Checker
a_to_b_chk：
assert property//
@(posedge clk) $rose(a) |-> ##[1：3] $rose(b));